examples of proofs by contradiction